Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
761	Expanded Final Report Decomposing digital-system specifications into interacting sequential processes Grant Number: MIP[removed], [removed]–[removed]Principal Investigator: Steven D. Johnson Computer Science Department In Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:36:05 Science Logic in computer science Automated theorem proving Reasoning Formal verification Computer science Reasoning system Hardware description language Communications protocol Formal methods Artificial intelligence Theoretical computer science
762	algebra for digital design derivation Research Prospectus Algebra for Digital Design Derivation August, 1989 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:08:06 Formal methods Digital electronics Logic synthesis Formal verification High-level synthesis Logic gate Standard cell Programming language Function model Electronic engineering Electronic design automation Electronic design
763	ANNUAL REPORT FOUNDATIONS OF HYBRID AND EMBEDDED SYSTEMS AND SOFTWARE NSF/ITR PROJECT – AWARD NUMBER: CCR[removed] Add to Reading List Source URL: chess.eecs.berkeley.edu Language: English Systems theory Control theory Systems engineering Automation System University of California Berkeley Claire J. Tomlin Formal verification Control system Science Systems science Cybernetics
764	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
765	Curriculum Vitae Dr. Klaus Havelund Ph.D in Computer Science Senior Research Scientist (SRS) at NASA’s Jet Propulsion Laboratory California Institute of Technology (Caltech) Email: [removed] Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-06-16 09:55:49 Software engineering Runtime verification Formal verification Prototype Verification System Verification and validation Software development process Actor model Denotational semantics Java Pathfinder Formal methods Theoretical computer science Computing
766	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
767	From Verification to Synthesis Moshe Y. Vardi Rice University Verification Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-06-14 03:05:34 Linear temporal logic Formal languages Amir Pnueli Model checking Well-formed formula Function Logic Mathematics Temporal logic
768	Accellera Formal Verification Technical Committee List of Common Properties Property 1 • Add to Reading List Source URL: www.eda.org Language: English - Date: 2002-08-26 14:36:37 Computer architecture Conventional PCI Interrupt Computer memory Hardware description languages Computer buses Computer hardware Computing
769	Verifying Object-Oriented Programs with KeY: A Tutorial Wolfgang Ahrendt1 , Bernhard Beckert2 , Reiner H¨ ahnle1 , Philipp R¨ ummer1 , 3 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2008-12-01 03:14:07 Formal methods Automated theorem proving Logic in computer science KeY Java Modeling Language Proof assistant Formal verification Java Logic programming Theoretical computer science Computing Applied mathematics
770	Flow Analysis for Verifying Properties of Concurrent Software Systems MATTHEW B. DWYER University of Nebraska Lincoln LORI A. CLARKE and JAMIESON M. COBLEIGH University of Massachusetts Amherst Add to Reading List Source URL: laser.cs.umass.edu Language: English - Date: 2008-09-29 10:52:38 Mathematics Formal methods Logic in computer science Models of computation Model checking Finite-state machine Formal verification Data-flow analysis Sequence Theoretical computer science Automata theory Applied mathematics

UPDATE